package com.googlecode.kipler.transformations;

import java.util.Set;

import com.googlecode.kipler.container.dl.WorldConstraintSystem;
import com.googlecode.kipler.syntax.formula.Formula;


/**
 * 
 * @author İnanç Seylan
 *
 */
public interface SyntacticalProcessingStrategy {
	public WorldConstraintSystem process(Set<Formula> formulaSet);
}
